Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
11	Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-08-22 17:55:56 Software engineering Computability theory Object-oriented programming Polymorphism Subtyping Type theory Theoretical computer science Characteristic function Lambda calculus Computing
12	Journal of Experimental Psychology: General Long-Term Memory Representations Influence Perception Before Edges Are Assigned to Objects Todd A. Kahan and James T. Enns Online First Publication, July 22, 2013. doi: Add to Reading List Source URL: visionlab.psych.sites.olt.ubc.ca Language: English - Date: 2015-06-27 00:03:33 Cognitive science Cognition Neuroscience Psychology Visual perception Perception Neuropsychology Cognitive psychology Visual masking Feature integration theory Object-based attention Masking
13	Type-Based Reasoning and Imprecise Errors Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Declarative programming Data types Computing Type theory Functional programming Object-oriented programming Polymorphism Map Ordinal number Boolean data type CurryHoward correspondence
14	How To Have Your Cake and Eat It, Too: Self-Applicable Online Partial Evaluation Michael Sperber Wilhelm-Schickard-Institut fur Informatik Universitat Tubingen Sand 13, DTubingen, Germany Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computing Computer programming Subroutines Data types Type theory Object-oriented programming languages Functional languages Partial evaluation Scala Recursion Memoization
15	Introduction to Smalltalk - Chapter 8 - More Sequenceable Collections, List widgets  Ivan TomekChapter 8 - More Sequenceable Collections, List widgets Overview Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:17 Software engineering Computer programming Programming language theory Object-oriented programming languages Smalltalk Self VisualWorks Objective-C Widget This Mutator method Pointer
16	Combining Programming with Theorem Proving Chiyan Chen and Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-11-01 11:55:41 Software engineering Computer programming Computing Functional languages Type theory Data types Procedural programming languages ATS Object-oriented programming ML Polymorphism OCaml
17	Railway English version – SOSI standard 4.0 Railway English version – SOSI standard 4.0 Add to Reading List Source URL: www.kartverket.no Language: English - Date: 2015-07-22 04:38:38 Software engineering Data types Computing Object-oriented programming Type theory Const Object Identifier Subtyping Pointing stick
18	Type-Based Reasoning about Efficiency D. Seidel∗ J. Voigtl¨ander Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Type theory Declarative programming Computer programming Functional programming Data types Polymorphism Object-oriented programming Map Parametric polymorphism Constructible universe
19	Comparing Argument Diagrams Collin Lynch,a Kevin Ashley, a, b, 1 and Mohammad Hassan Falakmasir a a University of Pittsburgh Intelligent Systems Program b University of Pittsburgh School of Law, Learning Research and Dev Add to Reading List Source URL: people.cs.pitt.edu Language: English - Date: 2015-09-28 15:47:40 Arguments Logic Critical thinking Philosophy Abstraction Thought Argumentation theory Debating Argument Counterargument Premise Object Process Methodology
20	Towards Maintaining Consistency of Spatial Databases Alia I. Abdelmoty and Chris B. Jones Dept. of Computer Studies, University of Glamorgan, Pontypridd, Mid Glamorgan, CF37 1DL, Wales, U.K. email: aiabdel,cbjones@glam.a Add to Reading List Source URL: users.cs.cf.ac.uk Language: English - Date: 2005-12-13 09:40:57 Cognitive science Cognition Mathematics Computing Knowledge representation Category theory Equivalence of categories Geographic information system Spatial database Object Data model Spatialtemporal reasoning

UPDATE